Daniel Misselbeck-Wessel, PhD

Personal information

Daniel Misselbeck-Wessel studied mathematics in Munich, Berlin, Trento, and Verona. He completed his PhD in 2018 and subsequently held postdoctoral positions at the Department of Computer Science at the University of Verona and the Department of Mathematics at LMU Munich. In 2023/24, he was a Junior Fellow at the Alfried Krupp Institute for Advanced Study in Greifswald.

Research interest

Daniel's research interests include constructive algebra, point-free topology, and the history of proof theory. His current DFG project investigates Gerhard Gentzen's extant shorthand notes on the consistency problem of analysis.

Selected publications

• Partial valuations hide the contaminating value. Australas. J. Log., accepted for publication, 2025.
• Boolean rigs (with Iosif Petrakis). Algebra Univers., 86:29, 2025. DOI: 10.1007/s00012-025-00904-9
• Maximal elements with minimal logic. Inform. Process. Lett., 182:106403, 2023. DOI: 10.1016/j.ipl.2023.106403.
• Radical theory of Scott-open filters (with P. Schuster). Theoret. Comput. Sci., 945:113677, 2023. DOI: 10.1016/j.tcs.2022.12.027.